analisi-terminabile e interminabile